\begin{nusmvCommand} {help} {Provides on-line information on commands}

\cmdLine{help [-a] [-h] [<command>]}

If invoked with no arguments \command{help} prints the list of all
commands known to the command interpreter.  If a command name is
given, detailed information for that command will be provided.

\begin{cmdOpt}
\opt{-a}{ Provides a list of all internal commands, whose names begin
with the underscore character ('\_') by convention. }
\end{cmdOpt}

\end{nusmvCommand}
